posterior probability distribution